Saturated structures, unions of chains, and preservation theorems
نویسندگان
چکیده
منابع مشابه
Preservation theorems for MTL-chains
The class of all MTL-algebras is a variety, denoted MTL. Alternatively, an MTL-algebra is a representable, commutative, integral residuated lattice with a least element.
متن کاملCharacterizing stability and superstability by unions of chains and saturated models
We show that the non-superstability (non-stability) of a theory T is equivalent to the condition that for every elementary chain of length u; (un) of saturated models Mi of T with ||M,+i|| > ||M;|| for all s < UJ(U/I), the union of the chain is not saturated. The cardinality of T is immaterial.
متن کاملExtension Preservation Theorems on Classes of Acyclic Finite Structures
A class of structures satisfies the extension preservation theorem if, on this class, every first order sentence is preserved under extension iff it is equivalent to an existential sentence. We consider different acyclicity notions for hypergraphs (γ, β and α-acyclicity and also acyclicity on hypergraph quotients) and estimate their influence on the validity of the extension preservation theore...
متن کاملPreservation theorems in {L}ukasiewicz \model theory
We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...
متن کاملSaturated chains in composition posets
We study some poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset N was studied by the author in [5] in relation to non-commutative term orders, and then in [6], where some results about generating functions for standard path...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1980
ISSN: 0003-4843
DOI: 10.1016/0003-4843(80)90020-0